Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
511	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
512	seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access Add to Reading List Source URL: sel4.systems Language: English - Date: 2014-09-23 22:58:53 Gernot Heiser L4 microkernel family Formal verification Real-time operating systems Kernel Computer security Integrity Mach Ring Computer architecture Trusted computing base Microkernel
513	Your System is Secure? Prove it! Gernot Heiser NICTA∗ and University of New South Wales and Open Kernel Labs Sydney, Australia [removed] Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:22:41 Evaluation Formal methods Microkernel L4 microkernel family Trusted computing base Gernot Heiser Formal verification Kernel Evaluation Assurance Level Computer architecture System software Computing
514	ISSUE 35 \| DECEMBER[removed]INSIDE CommunicAsia eGov Cluster showcase Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 Higher education Gernot Heiser Education L4 microkernel family Griffith University University of New South Wales University of Sydney University of Melbourne Formal verification Association of Commonwealth Universities NICTA Academia
515	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family
516	Academy of Motion Picture Award Chris Cooper Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:55 NICTA Gernot Heiser Dante L4 microkernel family International Conference on Computer Vision Future Internet Information and communication technologies in education Armadillo Formal verification Software Science Computing
517	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
518	ISSUE 34 \| JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 L4 microkernel family University of New South Wales Information and communication technologies in education Computing CeBIT Formal verification Academia NICTA Technology Gernot Heiser
519	UITP 2005 Preliminary Version The User Interface of the KIV Verification System — A System Description Dominik Haneberg, Simon B¨aumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:17 Formal methods Automated theorem proving Proof assistant ACL2 KeY Theorem Isabelle Mathematical logic Formal verification Mathematics Theoretical computer science Mathematical software
520	Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Logic in computer science Functional languages L4 microkernel family Isabelle Microkernel Formal verification Kernel Gernot Heiser Haskell Computer architecture Computing Software

UPDATE